Weak separation, pure domains and cluster distance
نویسندگان
چکیده
منابع مشابه
Separation and Weak König's Lemma
We continue the work of [14, 3, 1, 19, 16, 4, 12, 11, 20] investigating the strength of set existence axioms needed for separable Banach space theory. We show that the separation theorem for open convex sets is equivalent to WKL0 over RCA0. We show that the separation theorem for separably closed convex sets is equivalent to ACA0 over RCA0. Our strategy for proving these geometrical Hahn–Banach...
متن کاملWeak Metrics on Euclidean Domains
A weak metric on a set is a function that satisfies the axioms of a metric except the symmetry and the separation axioms. The aim of this paper is to present some interesting weak metrics and to study some of their properties. In particular, we introduce a weak metric, called the Apollonian weak metric, on any subset of a Euclidean space which is either bounded or whose boundary is unbounded. W...
متن کاملWeak updates and separation logic (Technical Report)
Separation Logic (SL) provides a simple but powerful technique for reasoning about imperative programs that use shared data structures. Unfortunately, SL supports only “strong updates”, in which mutation to a heap location is safe only if a unique reference is owned. This limits the applicability of SL when reasoning about the interaction between many high-level languages (e.g., ML, Java, C#) a...
متن کاملMultifractal Measures and a Weak Separation Condition
We define a new separation property on the family of contractive similitudes that allows certain overlappings. This property is weaker than the open set condition of Hutchinson. It includes the well-known class of infinite Bernoulli convolutions associated with the P.V. numbers and the solutions of the two-scale dilation equations. Our main purpose in this paper is to prove the multifractal for...
متن کاملClosed-shell ring coupled cluster doubles theory with range separation applied on weak intermolecular interactions.
We explore different variants of the random phase approximation to the correlation energy derived from closed-shell ring-diagram approximations to coupled cluster doubles theory. We implement these variants in range-separated density-functional theory, i.e., by combining the long-range random phase approximations with short-range density-functional approximations. We perform tests on the rare-g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Selecta Mathematica
سال: 2018
ISSN: 1022-1824,1420-9020
DOI: 10.1007/s00029-018-0394-2